1
Structural Proof Theory

Structural Proof Theory

Sara Negri, Jan von Plato, Aarne Ranta (Appendix)
年:
2008
言語:
english
ファイル:
PDF, 5.15 MB
5.0 / 5.0
english, 2008
2
Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective

Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective

Jan von Plato
年:
1998
言語:
english
ファイル:
PDF, 4.92 MB
0 / 0
english, 1998
3
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Jan von Plato
年:
2017
言語:
english
ファイル:
PDF, 2.78 MB
5.0 / 5.0
english, 2017
4
Kurt Gödel: The Princeton Lectures on Intuitionism

Kurt Gödel: The Princeton Lectures on Intuitionism

Maria Hämeen-Anttila (editor), Jan von Plato (editor)
年:
2021
言語:
english
ファイル:
PDF, 1.01 MB
0 / 0
english, 2021
5
Proof Analysis: A Contribution to Hilbert's Last Problem

Proof Analysis: A Contribution to Hilbert's Last Problem

Sara Negri, Jan von Plato
年:
2011
言語:
english
ファイル:
PDF, 1.56 MB
0 / 0
english, 2011
6
Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

Jan von Plato
年:
2022
言語:
english
ファイル:
PDF, 877 KB
5.0 / 5.0
english, 2022
7
Kurt Gödel

Kurt Gödel

Maria Hämeen-Anttila, Jan von Plato
年:
2023
言語:
english
ファイル:
PDF, 4.39 MB
0 / 5.0
english, 2023
8
Structural Proof Theory

Structural Proof Theory

Sara Negri, Jan von Plato, Aarne Ranta (Appendix)
年:
2008
言語:
english
ファイル:
PDF, 5.37 MB
5.0 / 0
english, 2008
9
Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

Jan von Plato
年:
2022
言語:
english
ファイル:
PDF, 1.47 MB
0 / 5.0
english, 2022
10
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Jan von Plato
年:
2017
言語:
english
ファイル:
PDF, 1.58 MB
5.0 / 0
english, 2017
11
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Jan von Plato
年:
2017
言語:
english
ファイル:
PDF, 1.99 MB
5.0 / 0
english, 2017
12
Proof Analysis: A Contribution to Hilbert's Last Problem

Proof Analysis: A Contribution to Hilbert's Last Problem

Sara Negri, Jan von Plato
年:
2011
言語:
english
ファイル:
PDF, 1.66 MB
0 / 5.0
english, 2011
13
Portrait of Young Gödel: Education, First Steps in Logic, the Problem of Completeness

Portrait of Young Gödel: Education, First Steps in Logic, the Problem of Completeness

Jan von Plato
年:
2024
言語:
english
ファイル:
PDF, 4.13 MB
0 / 5.0
english, 2024
14
Proof Analysis: A Contribution to Hilbert's Last Problem

Proof Analysis: A Contribution to Hilbert's Last Problem

Sara Negri, Jan von Plato
年:
2011
言語:
english
ファイル:
PDF, 972 KB
0 / 0
english, 2011
15
Structural Proof Theory

Structural Proof Theory

Sara Negri, Jan von Plato, Aarne Ranta (Appendix)
年:
2008
言語:
english
ファイル:
DJVU, 1.45 MB
0 / 0
english, 2008
16
Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective

Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective

Jan Von Plato
年:
1998
言語:
english
ファイル:
DJVU, 2.41 MB
0 / 0
english, 1998
17
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Jan von Plato
年:
2017
言語:
english
ファイル:
PDF, 1.49 MB
0 / 0
english, 2017
18
Can Mathematics Be Proved Consistent?: Gödel's Shorthand Notes & Lectures on Incompleteness

Can Mathematics Be Proved Consistent?: Gödel's Shorthand Notes & Lectures on Incompleteness

Jan von Plato
年:
2020
言語:
english
ファイル:
PDF, 1.60 MB
0 / 0
english, 2020
20
Saved from the cellar: Gerhard Gentzen's shorthand notes on logic and foundations of mathematics

Saved from the cellar: Gerhard Gentzen's shorthand notes on logic and foundations of mathematics

Jan von Plato
年:
2017
言語:
english
ファイル:
PDF, 2.11 MB
0 / 0
english, 2017